DEF=kast-in
EXT=kast-in
TESTDIR=.
KAST_FLAGS=--expand-macros --input kast --output pretty --no-substitution-filtering

include ../../../include/kframework/ktest.mak
